<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>Disjoint Stable Set Problems - Formulations by Representatives and Combinatorial Solvers: stab/StabSolver.h Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td style="padding-left: 0.5em;">
   <div id="projectname">Disjoint Stable Set Problems - Formulations by Representatives and Combinatorial Solvers
   </div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.1.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Friends</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Macros</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div id="nav-path" class="navpath">
  <ul>
<li class="navelem"><a class="el" href="dir_399a0c971be969e6191cb6a8568176b9.html">stab</a></li>  </ul>
</div>
</div><!-- top -->
<div class="header">
  <div class="headertitle">
<div class="title">StabSolver.h</div>  </div>
</div><!--header-->
<div class="contents">
<a href="StabSolver_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;</div>
<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#ifndef STABSOLVER_H_</span></div>
<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor"></span><span class="preprocessor">#define STABSOLVER_H_</span></div>
<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="preprocessor">#include &lt;string&gt;</span></div>
<div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="preprocessor">#include &quot;Graph.h&quot;</span></div>
<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="preprocessor">#include &lt;OrderedSet.h&gt;</span></div>
<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="keyword">using namespace </span>std;</div>
<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div>
<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="preprocessor">#ifndef WORDTYPE</span></div>
<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00023"></a><span class="lineno"><a class="code" href="StabSolver_8h.html#a720a88a5b156520ecc7b6e96771f80fd">   23</a></span>&#160;<span class="preprocessor">#define WORDTYPE unsigned long</span></div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="preprocessor"></span><span class="preprocessor">#endif</span></div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00033"></a><span class="lineno"><a class="code" href="classModeler.html">   33</a></span>&#160;<span class="keyword">class </span><a class="code" href="classModeler.html" title="The base class for modelers of disjoint stable set problems.">Modeler</a> {</div>
<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00035"></a><span class="lineno"><a class="code" href="classModeler.html#a1800747cbcab500c16475ae45079c244">   35</a></span>&#160;        Graph*                          <a class="code" href="classModeler.html#a1800747cbcab500c16475ae45079c244" title="The instance graph.">g</a>;                              </div>
<div class="line"><a name="l00036"></a><span class="lineno"><a class="code" href="classModeler.html#a25cb8221572cf9940a4b476c4a6a4e8c">   36</a></span>&#160;        BitParallel&lt;WORDTYPE&gt; * <a class="code" href="classModeler.html#a25cb8221572cf9940a4b476c4a6a4e8c">bitpar</a>;                 </div>
<div class="line"><a name="l00037"></a><span class="lineno"><a class="code" href="classModeler.html#a80e083aa867c7f8f635ad8f5ee11abaf">   37</a></span>&#160;        <span class="keywordtype">int</span>                                             <a class="code" href="classModeler.html#a80e083aa867c7f8f635ad8f5ee11abaf">imaxno</a>;</div>
<div class="line"><a name="l00038"></a><span class="lineno"><a class="code" href="classModeler.html#a21be0da867fe73524c11bc737476d07c">   38</a></span>&#160;        <span class="keywordtype">int</span>                                             <a class="code" href="classModeler.html#a21be0da867fe73524c11bc737476d07c">maxantideg</a>;</div>
<div class="line"><a name="l00039"></a><span class="lineno"><a class="code" href="classModeler.html#a561a33e654503270681a738d59f4e848">   39</a></span>&#160;        <span class="keywordtype">int</span>                                             <a class="code" href="classModeler.html#a561a33e654503270681a738d59f4e848">maxcr</a>;</div>
<div class="line"><a name="l00040"></a><span class="lineno"><a class="code" href="classModeler.html#af07afd8391a1a393682dcf0af3ab1b81">   40</a></span>&#160;        <span class="keywordtype">int</span>                                             <a class="code" href="classModeler.html#af07afd8391a1a393682dcf0af3ab1b81">lb</a>;</div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div>
<div class="line"><a name="l00042"></a><span class="lineno"><a class="code" href="classModeler.html#af54dfe4e086ae35e95edda88d21af9de">   42</a></span>&#160;        <a class="code" href="classModeler.html#af54dfe4e086ae35e95edda88d21af9de">Modeler</a>() {};</div>
<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        <a class="code" href="classModeler.html" title="The base class for modelers of disjoint stable set problems.">Modeler</a>(Graph * g);</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;        ~<a class="code" href="classModeler.html" title="The base class for modelers of disjoint stable set problems.">Modeler</a>();</div>
<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00051"></a><span class="lineno"><a class="code" href="classModeler.html#aaef83e7bc1ed1f63841293b9f67ca5da">   51</a></span>&#160;        Graph *                                 <a class="code" href="classModeler.html#aaef83e7bc1ed1f63841293b9f67ca5da" title="Gets the instance graph.">graph</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> g; };</div>
<div class="line"><a name="l00057"></a><span class="lineno"><a class="code" href="classModeler.html#a83a0d948286be83c79565ff8ae1801e4">   57</a></span>&#160;        BitParallel&lt;WORDTYPE&gt; * <a class="code" href="classModeler.html#a83a0d948286be83c79565ff8ae1801e4" title="Gets the object used to perform bit-parallel operations on the instance graph.">bitPar</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> bitpar; };</div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;};</div>
<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div>
<div class="line"><a name="l00067"></a><span class="lineno"><a class="code" href="classStabModel.html">   67</a></span>&#160;<span class="keyword">class </span><a class="code" href="classStabModel.html" title="The base class of stable set polytope based models.">StabModel</a> {</div>
<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00069"></a><span class="lineno"><a class="code" href="classStabModel.html#a3c0b749f3f3e11d30c969d19d3321e67">   69</a></span>&#160;        <span class="keywordtype">int</span>                     <a class="code" href="classStabModel.html#a3c0b749f3f3e11d30c969d19d3321e67" title="Number of vertices of the instance graph.">n</a>;                              </div>
<div class="line"><a name="l00070"></a><span class="lineno"><a class="code" href="classStabModel.html#a8547accace6e9712ac87fcaf426f9303">   70</a></span>&#160;        <span class="keywordtype">long</span> <span class="keywordtype">long</span>               <a class="code" href="classStabModel.html#a8547accace6e9712ac87fcaf426f9303" title="Number of edges of the instance graph.">m</a>;                              </div>
<div class="line"><a name="l00071"></a><span class="lineno"><a class="code" href="classStabModel.html#a235c2ced84059dcf332e6903c11ed565">   71</a></span>&#160;        <span class="keywordtype">int</span>                     <a class="code" href="classStabModel.html#a235c2ced84059dcf332e6903c11ed565">ccnt_v</a>;</div>
<div class="line"><a name="l00072"></a><span class="lineno"><a class="code" href="classStabModel.html#af4b4ae0e79effbb932194bfa8442b08a">   72</a></span>&#160;        <span class="keywordtype">int</span>                     <a class="code" href="classStabModel.html#af4b4ae0e79effbb932194bfa8442b08a">rcnt_v</a>;</div>
<div class="line"><a name="l00073"></a><span class="lineno"><a class="code" href="classStabModel.html#a34c33e1c59adbd35d330debc05d17fbc">   73</a></span>&#160;        <span class="keywordtype">int</span>                     <a class="code" href="classStabModel.html#a34c33e1c59adbd35d330debc05d17fbc">nzcnt_v</a>;</div>
<div class="line"><a name="l00074"></a><span class="lineno"><a class="code" href="classStabModel.html#ae30fad918164f775c8c6b980e3aed4e9">   74</a></span>&#160;        <span class="keywordtype">int</span>                             <a class="code" href="classStabModel.html#ae30fad918164f775c8c6b980e3aed4e9">firstcol_v</a>;</div>
<div class="line"><a name="l00075"></a><span class="lineno"><a class="code" href="classStabModel.html#a84263789c40ea515cef814fbc063d47e">   75</a></span>&#160;        <span class="keywordtype">char</span> **                 <a class="code" href="classStabModel.html#a84263789c40ea515cef814fbc063d47e">rowname_v</a>;</div>
<div class="line"><a name="l00076"></a><span class="lineno"><a class="code" href="classStabModel.html#a2db5745ed1ad3a766076a17c83bdc842">   76</a></span>&#160;        <span class="keywordtype">char</span> *                  <a class="code" href="classStabModel.html#a2db5745ed1ad3a766076a17c83bdc842">rnamestore_v</a>;</div>
<div class="line"><a name="l00077"></a><span class="lineno"><a class="code" href="classStabModel.html#a0755a0a9e7f215d8a252eb7726fa8413">   77</a></span>&#160;        <span class="keywordtype">char</span> **                 <a class="code" href="classStabModel.html#a0755a0a9e7f215d8a252eb7726fa8413">colname_v</a>;</div>
<div class="line"><a name="l00078"></a><span class="lineno"><a class="code" href="classStabModel.html#a184a72f67912ba7d50ffcac50ff77e3a">   78</a></span>&#160;        <span class="keywordtype">char</span> *                  <a class="code" href="classStabModel.html#a184a72f67912ba7d50ffcac50ff77e3a">cnamestore_v</a>;</div>
<div class="line"><a name="l00079"></a><span class="lineno"><a class="code" href="classStabModel.html#a4dc8b38a1e672a6b4eda959154e00ef8">   79</a></span>&#160;        <span class="keywordtype">long</span> <span class="keywordtype">long</span>               <a class="code" href="classStabModel.html#a4dc8b38a1e672a6b4eda959154e00ef8">storespace_v</a>;</div>
<div class="line"><a name="l00080"></a><span class="lineno"><a class="code" href="classStabModel.html#aff0ecdcbcc577f1dca6d01bc3c52d1fe">   80</a></span>&#160;        <span class="keywordtype">int</span> *                   <a class="code" href="classStabModel.html#aff0ecdcbcc577f1dca6d01bc3c52d1fe">rmatbeg_v</a>;</div>
<div class="line"><a name="l00081"></a><span class="lineno"><a class="code" href="classStabModel.html#ae9e090a6b3a250667ed6e5c78c09981b">   81</a></span>&#160;        <span class="keywordtype">int</span> *                   <a class="code" href="classStabModel.html#ae9e090a6b3a250667ed6e5c78c09981b">rmatind_v</a>;</div>
<div class="line"><a name="l00082"></a><span class="lineno"><a class="code" href="classStabModel.html#a6a4c837a8db9aff765888ce7baa48786">   82</a></span>&#160;        <span class="keywordtype">double</span> *                <a class="code" href="classStabModel.html#a6a4c837a8db9aff765888ce7baa48786">rmatval_v</a>;</div>
<div class="line"><a name="l00083"></a><span class="lineno"><a class="code" href="classStabModel.html#a173a5d43ed989dd37b840e97579ed4e6">   83</a></span>&#160;        <span class="keywordtype">char</span> *                  <a class="code" href="classStabModel.html#a173a5d43ed989dd37b840e97579ed4e6">sense_v</a>;</div>
<div class="line"><a name="l00084"></a><span class="lineno"><a class="code" href="classStabModel.html#a300dec5551c71ddff0a85c07dc103d62">   84</a></span>&#160;        <span class="keywordtype">double</span> *                <a class="code" href="classStabModel.html#a300dec5551c71ddff0a85c07dc103d62">rhs_v</a>;</div>
<div class="line"><a name="l00085"></a><span class="lineno"><a class="code" href="classStabModel.html#ac8ddc423b1872c9b8166cec85dbb9d86">   85</a></span>&#160;        <span class="keywordtype">char</span> *                  <a class="code" href="classStabModel.html#ac8ddc423b1872c9b8166cec85dbb9d86">type_v</a>;</div>
<div class="line"><a name="l00086"></a><span class="lineno"><a class="code" href="classStabModel.html#aa36ce22bca3136bb00a9a81fb577195c">   86</a></span>&#160;        <span class="keywordtype">char</span> *                  <a class="code" href="classStabModel.html#aa36ce22bca3136bb00a9a81fb577195c">sostype_v</a>;</div>
<div class="line"><a name="l00087"></a><span class="lineno"><a class="code" href="classStabModel.html#aa25e13c94ffcf66d85181b42f96cdd5d">   87</a></span>&#160;        <span class="keywordtype">int</span> *                   <a class="code" href="classStabModel.html#aa25e13c94ffcf66d85181b42f96cdd5d">cliquerank_v</a>;</div>
<div class="line"><a name="l00088"></a><span class="lineno"><a class="code" href="classStabModel.html#a5ab341fee6faf7079e0d5f67249e80b4">   88</a></span>&#160;        <span class="keywordtype">bool</span>                    <a class="code" href="classStabModel.html#a5ab341fee6faf7079e0d5f67249e80b4">newcr</a>;</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;</div>
<div class="line"><a name="l00090"></a><span class="lineno"><a class="code" href="classStabModel.html#a8f3f5806ddb612a6c6daf85db55b1326">   90</a></span>&#160;        <a class="code" href="classStabModel.html" title="The base class of stable set polytope based models.">StabModel</a>(Graph * g) : n(g-&gt;nverts()), m(g-&gt;nedges() &gt;&gt; 1), ccnt_v(0), rcnt_v(0), nzcnt_v(0), firstcol_v(0),</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        rowname_v(NULL), rnamestore_v(NULL), colname_v(NULL), cnamestore_v(NULL),</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        rmatbeg_v(NULL), rmatind_v(NULL), rmatval_v(NULL), sense_v(NULL), rhs_v(NULL), type_v(NULL), sostype_v(NULL), cliquerank_v(NULL), newcr(false) {};</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        ~<a class="code" href="classStabModel.html" title="The base class of stable set polytope based models.">StabModel</a>();</div>
<div class="line"><a name="l00095"></a><span class="lineno"><a class="code" href="classStabModel.html#aced36e7e8b7749a42291ac48d3e9a1d7">   95</a></span>&#160;        <span class="keywordtype">int</span>                     <a class="code" href="classStabModel.html#aced36e7e8b7749a42291ac48d3e9a1d7">ccnt</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> ccnt_v; };</div>
<div class="line"><a name="l00096"></a><span class="lineno"><a class="code" href="classStabModel.html#a5fbfc6bc07e984bbbb971ddfa9fb181a">   96</a></span>&#160;        <span class="keywordtype">int</span>                     <a class="code" href="classStabModel.html#a5fbfc6bc07e984bbbb971ddfa9fb181a">rcnt</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> rcnt_v; };</div>
<div class="line"><a name="l00097"></a><span class="lineno"><a class="code" href="classStabModel.html#a72f3eb55e04239873e73d38327cda432">   97</a></span>&#160;        <span class="keywordtype">int</span>                     <a class="code" href="classStabModel.html#a72f3eb55e04239873e73d38327cda432">nzcnt</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> nzcnt_v; };</div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <span class="keywordtype">char</span> **                 rowname();</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <span class="keywordtype">void</span>                    delrowname();</div>
<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">char</span> *    rnamestore(<span class="keywordtype">long</span> <span class="keywordtype">long</span> * spc);</div>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordtype">void</span>                    delrnamestore();</div>
<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordtype">char</span> **                 colname();</div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <span class="keywordtype">void</span>                    delcolname();</div>
<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">char</span> *    cnamestore(<span class="keywordtype">long</span> <span class="keywordtype">long</span> * spc);</div>
<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keywordtype">void</span>                    delcnamestore();</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">int</span> *     rmatbeg();</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordtype">void</span>                    delrmatbeg();</div>
<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">char</span> *    sense();</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordtype">void</span>                    delsense();</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">double</span> *  rhs();</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordtype">void</span>                    delrhs();</div>
<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">char</span> *    type();</div>
<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordtype">void</span>                    deltype();</div>
<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">char</span> *    sostype();</div>
<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordtype">void</span>                    delsostype();</div>
<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">int</span> *     rmatind();</div>
<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <span class="keywordtype">void</span>                    delrmatind();</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">double</span> *  rmatval();</div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        <span class="keywordtype">void</span>                    delrmatval();</div>
<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <span class="keyword">const</span> <span class="keywordtype">int</span> *     cliquerank();</div>
<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keywordtype">void</span>                    delcliquerank();</div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordtype">void</span>                    delall();</div>
<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;};</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;</div>
<div class="line"><a name="l00125"></a><span class="lineno"><a class="code" href="classStabModeler.html">  125</a></span>&#160;<span class="keyword">class </span><a class="code" href="classStabModeler.html">StabModeler</a> : <span class="keyword">public</span> <a class="code" href="classModeler.html" title="The base class for modelers of disjoint stable set problems.">Modeler</a>, <span class="keyword">public</span> <a class="code" href="classStabModel.html" title="The base class of stable set polytope based models.">StabModel</a> {</div>
<div class="line"><a name="l00126"></a><span class="lineno"><a class="code" href="classStabModeler.html#af089d2d6677f48b61f43c080e49a8f2b">  126</a></span>&#160;        <span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> G&gt;     <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classModelerFactory.html">ModelerFactory</a>;</div>
<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;</div>
<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <a class="code" href="classStabModeler.html">StabModeler</a>(Graph * g);</div>
<div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <a class="code" href="classStabModeler.html">StabModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix);</div>
<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <a class="code" href="classStabModeler.html">StabModeler</a>(Graph * g, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        <a class="code" href="classStabModeler.html">StabModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;</div>
<div class="line"><a name="l00134"></a><span class="lineno"><a class="code" href="classStabModeler.html#ac9be8307a722f6db4d2ef753dfdb0953">  134</a></span>&#160;        <span class="keywordtype">char</span>    prefix[30];</div>
<div class="line"><a name="l00135"></a><span class="lineno"><a class="code" href="classStabModeler.html#a943f48e6ccb65d528f0810d2998e8db2">  135</a></span>&#160;        <span class="keywordtype">bool</span>    <a class="code" href="classStabModeler.html#a943f48e6ccb65d528f0810d2998e8db2">doheur</a>;</div>
<div class="line"><a name="l00136"></a><span class="lineno"><a class="code" href="classStabModeler.html#a698d867cd6df7a31878a8e753b67de67">  136</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="classStabModeler.html#a698d867cd6df7a31878a8e753b67de67">ub</a>;</div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;</div>
<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="keyword">virtual</span> ~<a class="code" href="classStabModeler.html">StabModeler</a>();</div>
<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> stabcols();</div>
<div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> edgerows();</div>
<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> isolatedrows();</div>
<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> cliquerows(<span class="keywordtype">double</span> * nc);</div>
<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> scalerows(<span class="keywordtype">int</span> begin, <span class="keywordtype">int</span> end, <span class="keywordtype">int</span> col, <span class="keywordtype">double</span> coeff);</div>
<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> scalerows(<span class="keywordtype">int</span> begin, <span class="keywordtype">int</span> end, <span class="keywordtype">double</span> rhs);</div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> objective(Weight&lt;double&gt; * w);</div>
<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> startingpoint(<span class="keywordtype">int</span> * S);</div>
<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> neigconst(<span class="keywordtype">int</span> i, <span class="keywordtype">double</span> * lb, <span class="keywordtype">double</span> * ub, <a class="code" href="StabSolver_8h.html#a720a88a5b156520ecc7b6e96771f80fd" title="Type of the word used in the vEBTree&#39;s.">WORDTYPE</a> * setzero, <span class="keywordtype">double</span> r, <span class="keywordtype">bool</span> tight);</div>
<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;};</div>
<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;</div>
<div class="line"><a name="l00151"></a><span class="lineno"><a class="code" href="classAStabModeler.html">  151</a></span>&#160;<span class="keyword">class </span><a class="code" href="classAStabModeler.html">AStabModeler</a> : <span class="keyword">public</span> <a class="code" href="classStabModeler.html">StabModeler</a> {</div>
<div class="line"><a name="l00152"></a><span class="lineno"><a class="code" href="classAStabModeler.html#af089d2d6677f48b61f43c080e49a8f2b">  152</a></span>&#160;        <span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> G&gt;     <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classModelerFactory.html">ModelerFactory</a>;</div>
<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;</div>
<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <a class="code" href="classAStabModeler.html">AStabModeler</a>(Graph * g);</div>
<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        <a class="code" href="classAStabModeler.html">AStabModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix);</div>
<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        <a class="code" href="classAStabModeler.html">AStabModeler</a>(Graph * g, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <a class="code" href="classAStabModeler.html">AStabModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00159"></a><span class="lineno"><a class="code" href="classAStabModeler.html#a964c41acb5792909e530d16b89382bc6">  159</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="classAStabModeler.html#a964c41acb5792909e530d16b89382bc6">ub</a>;</div>
<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;</div>
<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        ~<a class="code" href="classAStabModeler.html">AStabModeler</a>();</div>
<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> edgesymcuts(<span class="keywordtype">int</span> lb);</div>
<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> pathsymcuts(<span class="keywordtype">int</span> lb);</div>
<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;};</div>
<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div>
<div class="line"><a name="l00172"></a><span class="lineno"><a class="code" href="classRepModeler.html">  172</a></span>&#160;<span class="keyword">class </span><a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a> : <span class="keyword">public</span> <a class="code" href="classModeler.html" title="The base class for modelers of disjoint stable set problems.">Modeler</a>, <span class="keyword">public</span> <a class="code" href="classStabModel.html" title="The base class of stable set polytope based models.">StabModel</a> {</div>
<div class="line"><a name="l00173"></a><span class="lineno"><a class="code" href="classRepModeler.html#af089d2d6677f48b61f43c080e49a8f2b">  173</a></span>&#160;        <span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> G&gt; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classModelerFactory.html">ModelerFactory</a>;</div>
<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;</div>
<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00176"></a><span class="lineno"><a class="code" href="classRepModeler.html#a675b34a4b01bcd17752930e63f630900">  176</a></span>&#160;        <span class="keywordtype">char</span>                    prefix[30];</div>
<div class="line"><a name="l00177"></a><span class="lineno"><a class="code" href="classRepModeler.html#a8744e49fa478b5bc0ba59e6c7a38ca45">  177</a></span>&#160;        <span class="keywordtype">int</span>                             <a class="code" href="classRepModeler.html#a8744e49fa478b5bc0ba59e6c7a38ca45">nreps_v</a>;</div>
<div class="line"><a name="l00178"></a><span class="lineno"><a class="code" href="classRepModeler.html#ac0c6189e406ba435f2cddaea04de8533">  178</a></span>&#160;        <span class="keywordtype">int</span> *                   <a class="code" href="classRepModeler.html#ac0c6189e406ba435f2cddaea04de8533">rp_v</a>;</div>
<div class="line"><a name="l00179"></a><span class="lineno"><a class="code" href="classRepModeler.html#a4d6d72072d5ff5c3713594babf6aedb8">  179</a></span>&#160;        <span class="keywordtype">int</span> *                   <a class="code" href="classRepModeler.html#a4d6d72072d5ff5c3713594babf6aedb8">rd_v</a>;</div>
<div class="line"><a name="l00180"></a><span class="lineno"><a class="code" href="classRepModeler.html#a0f67bc19be57295048641885eac0fb1a">  180</a></span>&#160;        <span class="keywordtype">int</span> *                   <a class="code" href="classRepModeler.html#a0f67bc19be57295048641885eac0fb1a">Rarray</a>;</div>
<div class="line"><a name="l00181"></a><span class="lineno"><a class="code" href="classRepModeler.html#a499bee060891585417bdc38476b33a79">  181</a></span>&#160;        <span class="keywordtype">int</span> **                  <a class="code" href="classRepModeler.html#a499bee060891585417bdc38476b33a79">R</a>;</div>
<div class="line"><a name="l00182"></a><span class="lineno"><a class="code" href="classRepModeler.html#abe5279d99b76ba25b5a08f814bab089f">  182</a></span>&#160;        Graph **                <a class="code" href="classRepModeler.html#abe5279d99b76ba25b5a08f814bab089f">grep</a>;</div>
<div class="line"><a name="l00183"></a><span class="lineno"><a class="code" href="classRepModeler.html#a25ba50e8c2b7ef43655fdf5c2e0e40f5">  183</a></span>&#160;        <span class="keywordtype">int</span> *                   <a class="code" href="classRepModeler.html#a25ba50e8c2b7ef43655fdf5c2e0e40f5">firstrepcol</a>;</div>
<div class="line"><a name="l00184"></a><span class="lineno"><a class="code" href="classRepModeler.html#a59fff6fbe7415c1489f0b8d6accee24c">  184</a></span>&#160;        <a class="code" href="classStabModeler.html">StabModeler</a> **  <a class="code" href="classRepModeler.html#a59fff6fbe7415c1489f0b8d6accee24c">mrep</a>;</div>
<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;</div>
<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keywordtype">void</span> init(<span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix);</div>
<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a>(Graph * g, <span class="keywordtype">bool</span> dummy);</div>
<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        <a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a>(Graph * g);</div>
<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        <a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix);</div>
<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a>(Graph * g, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;        <a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;        <span class="keyword">virtual</span> ~<a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a>();</div>
<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;</div>
<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classStabModeler.html">StabModeler</a> *   submodeler(<span class="keywordtype">int</span> <a class="code" href="Main_8cpp.html#a435aab7bbb240f6be3dd53a521b86ce5a128a4bddd282a3033f35f578d80265b6">rep</a>, <span class="keywordtype">int</span> firstcol);</div>
<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>                     nreps();</div>
<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        <span class="keyword">virtual</span> <span class="keyword">const</span> <span class="keywordtype">int</span> *     rp(<span class="keywordtype">int</span> i, <span class="keywordtype">int</span> *nrp);</div>
<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        <span class="keyword">virtual</span> <span class="keyword">const</span> <span class="keywordtype">int</span> *     rd(<span class="keywordtype">int</span> i, <span class="keywordtype">int</span> *nrd);</div>
<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        <span class="keywordtype">int</span>                                     repcol(<span class="keywordtype">int</span> <a class="code" href="Main_8cpp.html#a435aab7bbb240f6be3dd53a521b86ce5a128a4bddd282a3033f35f578d80265b6">rep</a>);</div>
<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordtype">int</span>                                     disjointrows();</div>
<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;        <span class="keywordtype">int</span>                                     nrepsrow(<span class="keywordtype">int</span> k);</div>
<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        <span class="keywordtype">int</span>                                     objective(Weight&lt;double&gt; * w);</div>
<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        <span class="keywordtype">int</span>                                     startingpoint(<span class="keywordtype">int</span> * S);</div>
<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;};</div>
<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;</div>
<div class="line"><a name="l00214"></a><span class="lineno"><a class="code" href="classARepModeler.html">  214</a></span>&#160;<span class="keyword">class </span><a class="code" href="classARepModeler.html">ARepModeler</a> : <span class="keyword">public</span> <a class="code" href="classRepModeler.html" title="A modeler and stable set model for formulations by representatives.">RepModeler</a> {</div>
<div class="line"><a name="l00215"></a><span class="lineno"><a class="code" href="classARepModeler.html#af089d2d6677f48b61f43c080e49a8f2b">  215</a></span>&#160;        <span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> G&gt; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classModelerFactory.html">ModelerFactory</a>;</div>
<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;</div>
<div class="line"><a name="l00217"></a><span class="lineno"><a class="code" href="classARepModeler.html#a35faf4d93c3cb64bd23b81eac07e9e1b">  217</a></span>&#160;        <span class="keywordtype">bool</span> * <a class="code" href="classARepModeler.html#a35faf4d93c3cb64bd23b81eac07e9e1b">ordered</a>;</div>
<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;        <a class="code" href="classARepModeler.html">ARepModeler</a>(Graph * g);</div>
<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <a class="code" href="classARepModeler.html">ARepModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix);</div>
<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <a class="code" href="classARepModeler.html">ARepModeler</a>(Graph * g, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <a class="code" href="classARepModeler.html">ARepModeler</a>(Graph * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix, <span class="keywordtype">int</span> * cr);</div>
<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        ~<a class="code" href="classARepModeler.html">ARepModeler</a>();</div>
<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        <span class="keyword">virtual</span> <span class="keyword">const</span> <span class="keywordtype">int</span> *     rd(<span class="keywordtype">int</span> i, <span class="keywordtype">int</span> *nrd);</div>
<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classAStabModeler.html">AStabModeler</a> *  submodeler(<span class="keywordtype">int</span> <a class="code" href="Main_8cpp.html#a435aab7bbb240f6be3dd53a521b86ce5a128a4bddd282a3033f35f578d80265b6">rep</a>, <span class="keywordtype">int</span> firstcol);</div>
<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keywordtype">int</span>                                     repedgesymcuts(<span class="keywordtype">int</span> i);</div>
<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;};</div>
<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;</div>
<div class="line"><a name="l00229"></a><span class="lineno"><a class="code" href="classSubpModeler.html">  229</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSubpModeler.html">SubpModeler</a> : <span class="keyword">public</span> <a class="code" href="classModeler.html" title="The base class for modelers of disjoint stable set problems.">Modeler</a> {</div>
<div class="line"><a name="l00230"></a><span class="lineno"><a class="code" href="classSubpModeler.html#a48ae19d37f5ee1f91aa1b6c46e133cb2">  230</a></span>&#160;        <span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> G&gt; <span class="keyword">friend</span> <span class="keyword">class </span>SubpGeneratorFactory;</div>
<div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00232"></a><span class="lineno"><a class="code" href="classSubpModeler.html#a2d952f13de93100a3fd9195a4a586ea0">  232</a></span>&#160;        <a class="code" href="classSubpModeler.html#a2d952f13de93100a3fd9195a4a586ea0">SubpModeler</a>() {};</div>
<div class="line"><a name="l00233"></a><span class="lineno"><a class="code" href="classSubpModeler.html#a72ad9ee7901f00af1356bbc149c401f9">  233</a></span>&#160;        <a class="code" href="classSubpModeler.html#a72ad9ee7901f00af1356bbc149c401f9">SubpModeler</a>(Graph* g) : <a class="code" href="classModeler.html" title="The base class for modelers of disjoint stable set problems.">Modeler</a>(g) {};</div>
<div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00235"></a><span class="lineno"><a class="code" href="classSubpModeler.html#a98671b480523fcdb7016c47f81e92f0b">  235</a></span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classSubpModeler.html#a98671b480523fcdb7016c47f81e92f0b">~SubpModeler</a>() {};</div>
<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span> *          allocsubp() = 0;</div>
<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span>            releasesubp(<span class="keywordtype">void</span> *) = 0;</div>
<div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             root(<span class="keywordtype">void</span> * root) = 0;</div>
<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">bool</span>            select(<span class="keywordtype">void</span> * s) = 0;</div>
<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             generate(<span class="keywordtype">void</span> * news) = 0;</div>
<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             greedy(<span class="keywordtype">void</span> * s) = 0;</div>
<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             getBest() = 0;</div>
<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span>            setBest(<span class="keywordtype">int</span> s) = 0;</div>
<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             size(<span class="keywordtype">void</span> *) = 0;</div>
<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">bool</span>            isleaf(<span class="keywordtype">void</span> *) = 0;</div>
<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             depth(<span class="keywordtype">void</span> *) = 0;</div>
<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             bound() = 0;</div>
<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone() = 0;</div>
<div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;};</div>
<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;</div>
<div class="line"><a name="l00251"></a><span class="lineno"><a class="code" href="structMCRStruct.html">  251</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span>{</div>
<div class="line"><a name="l00252"></a><span class="lineno"><a class="code" href="structMCRStruct.html#a4200e10ea2c906a2df38ae520881bec5">  252</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMCRStruct.html#a4200e10ea2c906a2df38ae520881bec5">q</a>;              <span class="comment">// index in the search queue</span></div>
<div class="line"><a name="l00253"></a><span class="lineno"><a class="code" href="structMCRStruct.html#a435f8e3dcc901a3844a786e78f78f7c2">  253</a></span>&#160;        <span class="keywordtype">int</span> *           <a class="code" href="structMCRStruct.html#a435f8e3dcc901a3844a786e78f78f7c2">R</a>;              <span class="comment">// vertex set</span></div>
<div class="line"><a name="l00254"></a><span class="lineno"><a class="code" href="structMCRStruct.html#ac82f024d344c5579bfd8b7c70acd0ecd">  254</a></span>&#160;        <span class="keywordtype">int</span> *           <a class="code" href="structMCRStruct.html#ac82f024d344c5579bfd8b7c70acd0ecd">cover</a>;  <span class="comment">// (weighted) clique cover</span></div>
<div class="line"><a name="l00255"></a><span class="lineno"><a class="code" href="structMCRStruct.html#a26153d73db6a7cef959c5e3395fc24b7">  255</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMCRStruct.html#a26153d73db6a7cef959c5e3395fc24b7">l</a>;      <span class="comment">// (weighted) level in the search tree</span></div>
<div class="line"><a name="l00256"></a><span class="lineno"><a class="code" href="structMCRStruct.html#a97cb58e1db50f1d7a02f3f809a046eb5">  256</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMCRStruct.html#a97cb58e1db50f1d7a02f3f809a046eb5">r</a>;              <span class="comment">// vertex set size</span></div>
<div class="line"><a name="l00257"></a><span class="lineno"><a class="code" href="structMCRStruct.html#a1dbad01ac280d1fe39fe1e74028d75a9">  257</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMCRStruct.html#a1dbad01ac280d1fe39fe1e74028d75a9">p</a>;              <span class="comment">// index in the vertex set of the next branch</span></div>
<div class="line"><a name="l00258"></a><span class="lineno"><a class="code" href="structMCRStruct.html#a597cd3751dfd3e52efb3c785f8897dcc">  258</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMCRStruct.html#a597cd3751dfd3e52efb3c785f8897dcc">f</a>;              <span class="comment">// index in the vertex set of the last branch</span></div>
<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;} <a class="code" href="structMCRStruct.html">MCRStruct</a>;</div>
<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;</div>
<div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;</div>
<div class="line"><a name="l00262"></a><span class="lineno"><a class="code" href="structMDRStruct.html">  262</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span>{</div>
<div class="line"><a name="l00263"></a><span class="lineno"><a class="code" href="structMDRStruct.html#a9a231deb1255fe2f3786398ef576e00c">  263</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMDRStruct.html#a9a231deb1255fe2f3786398ef576e00c">q</a>;              <span class="comment">// index in the search queue</span></div>
<div class="line"><a name="l00264"></a><span class="lineno"><a class="code" href="structMDRStruct.html#abf7de95b7413f24ad383199c062994e7">  264</a></span>&#160;        <span class="keywordtype">int</span>*            <a class="code" href="structMDRStruct.html#abf7de95b7413f24ad383199c062994e7">R</a>;              <span class="comment">// vertex set</span></div>
<div class="line"><a name="l00265"></a><span class="lineno"><a class="code" href="structMDRStruct.html#a63e89bedbb2ea4f46bd50d99a646dac5">  265</a></span>&#160;        <span class="keywordtype">int</span>*            <a class="code" href="structMDRStruct.html#a63e89bedbb2ea4f46bd50d99a646dac5">cover</a>;  <span class="comment">// (weighted) clique cover</span></div>
<div class="line"><a name="l00266"></a><span class="lineno"><a class="code" href="structMDRStruct.html#a871602fb6c3afb8a628dfc63d6f41aef">  266</a></span>&#160;        <span class="keywordtype">int</span>*            <a class="code" href="structMDRStruct.html#a871602fb6c3afb8a628dfc63d6f41aef">status</a>;  <span class="comment">// the status of the vertex in R</span></div>
<div class="line"><a name="l00267"></a><span class="lineno"><a class="code" href="structMDRStruct.html#a7dc92515e90c5d3b7edbacd6b2db2301">  267</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMDRStruct.html#a7dc92515e90c5d3b7edbacd6b2db2301">stf</a>;    <span class="comment">//start of the green queue</span></div>
<div class="line"><a name="l00268"></a><span class="lineno"><a class="code" href="structMDRStruct.html#ad37607c830fec87edb49f562575595be">  268</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMDRStruct.html#ad37607c830fec87edb49f562575595be">l</a>;      <span class="comment">// (weighted) level in the search tree</span></div>
<div class="line"><a name="l00269"></a><span class="lineno"><a class="code" href="structMDRStruct.html#a26a2bf80fcebbc1c24ea403187c71e59">  269</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMDRStruct.html#a26a2bf80fcebbc1c24ea403187c71e59">r</a>;              <span class="comment">// vertex set size</span></div>
<div class="line"><a name="l00270"></a><span class="lineno"><a class="code" href="structMDRStruct.html#aa90e42a4bf83c68d3b54eb2a209445a7">  270</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMDRStruct.html#aa90e42a4bf83c68d3b54eb2a209445a7">p</a>;              <span class="comment">// index in the vertex set of the next branch</span></div>
<div class="line"><a name="l00271"></a><span class="lineno"><a class="code" href="structMDRStruct.html#acad7abe4890e3e94961c8c098fb88217">  271</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structMDRStruct.html#acad7abe4890e3e94961c8c098fb88217">f</a>;              <span class="comment">// index in the vertex set of the last branch</span></div>
<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;} <a class="code" href="structMDRStruct.html">MDRStruct</a>;</div>
<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;</div>
<div class="line"><a name="l00274"></a><span class="lineno"><a class="code" href="structSPexEx.html">  274</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structSPexEx.html">SPexEx</a> {</div>
<div class="line"><a name="l00275"></a><span class="lineno"><a class="code" href="structSPexEx.html#a6a4187179d23012b05b1c60b0c9856c6">  275</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structSPexEx.html#a6a4187179d23012b05b1c60b0c9856c6">q</a>;              <span class="comment">// index in the search queue</span></div>
<div class="line"><a name="l00276"></a><span class="lineno"><a class="code" href="structSPexEx.html#ae7f8960255455e3d3b353beef70810d3">  276</a></span>&#160;        <span class="keywordtype">int</span>*            <a class="code" href="structSPexEx.html#ae7f8960255455e3d3b353beef70810d3">R</a>;              <span class="comment">// vertex set</span></div>
<div class="line"><a name="l00277"></a><span class="lineno"><a class="code" href="structSPexEx.html#a0208d769465152ce82de847fa8e46116">  277</a></span>&#160;        <span class="keywordtype">int</span>*            <a class="code" href="structSPexEx.html#a0208d769465152ce82de847fa8e46116">cover</a>;  <span class="comment">// (weighted) clique cover</span></div>
<div class="line"><a name="l00278"></a><span class="lineno"><a class="code" href="structSPexEx.html#ad31f9c8081b6271b070da78e103107a7">  278</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structSPexEx.html#ad31f9c8081b6271b070da78e103107a7">take</a>;   <span class="comment">//start of the green queue</span></div>
<div class="line"><a name="l00279"></a><span class="lineno"><a class="code" href="structSPexEx.html#a0c815fc8a606811a4591f2bb3d247694">  279</a></span>&#160;        <span class="keywordtype">int</span>*            <a class="code" href="structSPexEx.html#a0c815fc8a606811a4591f2bb3d247694">neig</a>;   <span class="comment">// list of anti-neig</span></div>
<div class="line"><a name="l00280"></a><span class="lineno"><a class="code" href="structSPexEx.html#ace35d9f151f78fe1c554e59795d893c2">  280</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structSPexEx.html#ace35d9f151f78fe1c554e59795d893c2">l</a>;      <span class="comment">// (weighted) level in the search tree</span></div>
<div class="line"><a name="l00281"></a><span class="lineno"><a class="code" href="structSPexEx.html#ae598e7374b24abbf6dc2e66bb5bb25ed">  281</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structSPexEx.html#ae598e7374b24abbf6dc2e66bb5bb25ed">r</a>;              <span class="comment">// vertex set size</span></div>
<div class="line"><a name="l00282"></a><span class="lineno"><a class="code" href="structSPexEx.html#ae93ebda88a71e313caeb05d436d0e7bc">  282</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structSPexEx.html#ae93ebda88a71e313caeb05d436d0e7bc">p</a>;              <span class="comment">// index in the vertex set of the next branch</span></div>
<div class="line"><a name="l00283"></a><span class="lineno"><a class="code" href="structSPexEx.html#af5a14d1fa6568e4a2c272f1f011d7cab">  283</a></span>&#160;        <span class="keywordtype">int</span>             <a class="code" href="structSPexEx.html#af5a14d1fa6568e4a2c272f1f011d7cab">f</a>;              <span class="comment">// index in the vertex set of the last branch</span></div>
<div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;} <a class="code" href="StabSolver_8h.html#ad955fe75c2eaecf99b7afe0d2c9cba44">MDRExStruct</a>;</div>
<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;</div>
<div class="line"><a name="l00286"></a><span class="lineno"><a class="code" href="classMCR.html">  286</a></span>&#160;<span class="keyword">class </span><a class="code" href="classMCR.html">MCR</a> : <span class="keyword">public</span> <a class="code" href="classSubpModeler.html">SubpModeler</a> {</div>
<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="comment">// repositories</span></div>
<div class="line"><a name="l00288"></a><span class="lineno"><a class="code" href="classMCR.html#aa7fb31c18f2a8451516425f8d539b337">  288</a></span>&#160;        <span class="keywordtype">void</span> *                          <a class="code" href="classMCR.html#aa7fb31c18f2a8451516425f8d539b337">intvecrepo</a>;</div>
<div class="line"><a name="l00289"></a><span class="lineno"><a class="code" href="classMCR.html#a7498cb19c014e4f036793064bc2bd1a9">  289</a></span>&#160;        <span class="keywordtype">void</span> *                          <a class="code" href="classMCR.html#a7498cb19c014e4f036793064bc2bd1a9">subprepo</a>;</div>
<div class="line"><a name="l00290"></a><span class="lineno"><a class="code" href="classMCR.html#a9537a29a15bbfc5e3088fc11eae3bf4c">  290</a></span>&#160;        <span class="keywordtype">bool</span>                            <a class="code" href="classMCR.html#a9537a29a15bbfc5e3088fc11eae3bf4c">isclone</a>;</div>
<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;</div>
<div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00293"></a><span class="lineno"><a class="code" href="classMCR.html#adfa41de7f3a069233105e44e6d16b3ff">  293</a></span>&#160;        <a class="code" href="structMCRStruct.html">MCRStruct</a> *                     <a class="code" href="classMCR.html#adfa41de7f3a069233105e44e6d16b3ff">current</a>;</div>
<div class="line"><a name="l00294"></a><span class="lineno"><a class="code" href="classMCR.html#aea67b115b19f77645273ea45d7211079">  294</a></span>&#160;        <span class="keywordtype">int</span>                                     <a class="code" href="classMCR.html#aea67b115b19f77645273ea45d7211079">curindex</a>;</div>
<div class="line"><a name="l00295"></a><span class="lineno"><a class="code" href="classMCR.html#ae50b1368dd7af284d6f3bd5708b683eb">  295</a></span>&#160;        <span class="keywordtype">int</span>                                     <a class="code" href="classMCR.html#ae50b1368dd7af284d6f3bd5708b683eb">curl</a>;</div>
<div class="line"><a name="l00296"></a><span class="lineno"><a class="code" href="classMCR.html#afe3f3535e3645c0d56fe09feb0ade6ad">  296</a></span>&#160;        <span class="keywordtype">int</span>                             <a class="code" href="classMCR.html#afe3f3535e3645c0d56fe09feb0ade6ad">qmax</a>;</div>
<div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;</div>
<div class="line"><a name="l00298"></a><span class="lineno"><a class="code" href="classMCR.html#ae11545aecdba999d22fe4714fc941ed3">  298</a></span>&#160;        <span class="keywordtype">int</span>                                     <a class="code" href="classMCR.html#ae11545aecdba999d22fe4714fc941ed3">imin</a>;</div>
<div class="line"><a name="l00299"></a><span class="lineno"><a class="code" href="classMCR.html#af2a3df73658f63175fcc2b23eebffb6f">  299</a></span>&#160;        <span class="keywordtype">int</span>                                     <a class="code" href="classMCR.html#af2a3df73658f63175fcc2b23eebffb6f">imax</a>;</div>
<div class="line"><a name="l00300"></a><span class="lineno"><a class="code" href="classMCR.html#a772f980cba4a4bf5b0913b59ab15c0c4">  300</a></span>&#160;        <a class="code" href="StabSolver_8h.html#a720a88a5b156520ecc7b6e96771f80fd" title="Type of the word used in the vEBTree&#39;s.">WORDTYPE</a> *                      <a class="code" href="classMCR.html#a772f980cba4a4bf5b0913b59ab15c0c4">bitR</a>;</div>
<div class="line"><a name="l00301"></a><span class="lineno"><a class="code" href="classMCR.html#aeee4dcc05bf97b87d7c6a88e045173de">  301</a></span>&#160;        <span class="keywordtype">int</span>                                     <a class="code" href="classMCR.html#aeee4dcc05bf97b87d7c6a88e045173de">bitr</a>;</div>
<div class="line"><a name="l00302"></a><span class="lineno"><a class="code" href="classMCR.html#af5a890b325cb8ff5a8a37164df80a62f">  302</a></span>&#160;        BitParallel&lt;WORDTYPE&gt; *<a class="code" href="classMCR.html#af5a890b325cb8ff5a8a37164df80a62f">bitcounter</a>;</div>
<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;</div>
<div class="line"><a name="l00304"></a><span class="lineno"><a class="code" href="classMCR.html#a7d1af1f7fc6f068ff80f09b067886101">  304</a></span>&#160;        <a class="code" href="classMCR.html#a7d1af1f7fc6f068ff80f09b067886101">MCR</a>() {};</div>
<div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;</div>
<div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> bitNumberSort(<span class="keywordtype">int</span> * R, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> * no, <span class="keywordtype">int</span> imin, <span class="keywordtype">int</span> imax);</div>
<div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span> bitantineigh(<span class="keywordtype">int</span> pivot, <span class="keywordtype">int</span> * curR, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> p);</div>
<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span> copy(<a class="code" href="classMCR.html">MCR</a> * m);</div>
<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;</div>
<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <a class="code" href="classMCR.html">MCR</a>(Graph* gh);</div>
<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;</div>
<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        ~<a class="code" href="classMCR.html">MCR</a>();</div>
<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;</div>
<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span> *          allocsubp();</div>
<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span>            releasesubp(<span class="keywordtype">void</span> *);</div>
<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             root(<span class="keywordtype">void</span> * root);</div>
<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">bool</span>            select(<span class="keywordtype">void</span> * s);</div>
<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             generate(<span class="keywordtype">void</span> * news);</div>
<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             greedy(<span class="keywordtype">void</span> * s);</div>
<div class="line"><a name="l00321"></a><span class="lineno"><a class="code" href="classMCR.html#a300c6389fdaf30a2ac1f76c631a516f0">  321</a></span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             <a class="code" href="classMCR.html#a300c6389fdaf30a2ac1f76c631a516f0">getBest</a>() {     <span class="keywordflow">return</span> qmax; };</div>
<div class="line"><a name="l00322"></a><span class="lineno"><a class="code" href="classMCR.html#a78fb9d961917ee2cb3a867850c909f0a">  322</a></span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span>            <a class="code" href="classMCR.html#a78fb9d961917ee2cb3a867850c909f0a">setBest</a>(<span class="keywordtype">int</span> s) { qmax = s; };</div>
<div class="line"><a name="l00323"></a><span class="lineno"><a class="code" href="classMCR.html#ad51130093161669fae32ab0ec8feb2f8">  323</a></span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             <a class="code" href="classMCR.html#ad51130093161669fae32ab0ec8feb2f8">size</a>(<span class="keywordtype">void</span> * s) { <span class="keywordflow">return</span> ((<a class="code" href="structMCRStruct.html">MCRStruct</a> *) s)-&gt;r; };</div>
<div class="line"><a name="l00324"></a><span class="lineno"><a class="code" href="classMCR.html#a93f1a99206cabf83e6a9eedc2033cd95">  324</a></span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">bool</span>            <a class="code" href="classMCR.html#a93f1a99206cabf83e6a9eedc2033cd95">isleaf</a>(<span class="keywordtype">void</span> * s) { <span class="keywordflow">return</span> ((<a class="code" href="structMCRStruct.html">MCRStruct</a> *) s)-&gt;r &lt;= 0; };</div>
<div class="line"><a name="l00325"></a><span class="lineno"><a class="code" href="classMCR.html#ae99abc638f380a5bf5fce8bc4560811c">  325</a></span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             <a class="code" href="classMCR.html#ae99abc638f380a5bf5fce8bc4560811c">depth</a>(<span class="keywordtype">void</span> * s) { <span class="keywordflow">return</span> ((<a class="code" href="structMCRStruct.html">MCRStruct</a> *) s)-&gt;l; };</div>
<div class="line"><a name="l00326"></a><span class="lineno"><a class="code" href="classMCR.html#a5c40959c8a06a2cdd0f9e0a0f671be29">  326</a></span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span>             <a class="code" href="classMCR.html#a5c40959c8a06a2cdd0f9e0a0f671be29">bound</a>() { <span class="keywordflow">return</span> curl + current-&gt;cover[curindex]; };</div>
<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone();</div>
<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;};</div>
<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;</div>
<div class="line"><a name="l00330"></a><span class="lineno"><a class="code" href="classMCS.html">  330</a></span>&#160;<span class="keyword">class </span><a class="code" href="classMCS.html">MCS</a> : <span class="keyword">public</span> <a class="code" href="classMCR.html">MCR</a> {</div>
<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;</div>
<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> bitNumberSort(<span class="keywordtype">int</span> * R, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> * no, <span class="keywordtype">int</span> imin, <span class="keywordtype">int</span> imax);</div>
<div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">bool</span> recol(<span class="keywordtype">int</span> p, <span class="keywordtype">int</span>* q, <span class="keywordtype">int</span>* k, <span class="keywordtype">int</span>* k2, <span class="keywordtype">int</span>* no, <span class="keywordtype">int</span>* R, <span class="keywordtype">int</span> r ,<span class="keywordtype">int</span> qc);</div>
<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;</div>
<div class="line"><a name="l00336"></a><span class="lineno"><a class="code" href="classMCS.html#a29dea78901ed1d80d66671e6f7c88e8f">  336</a></span>&#160;        <a class="code" href="classMCS.html#a29dea78901ed1d80d66671e6f7c88e8f">MCS</a>() {};</div>
<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;</div>
<div class="line"><a name="l00339"></a><span class="lineno"><a class="code" href="classMCS.html#ae58ecfeccf76c2ef57cc4b8e4f4797f3">  339</a></span>&#160;        <a class="code" href="classMCS.html#ae58ecfeccf76c2ef57cc4b8e4f4797f3">MCS</a>(Graph* gh) : <a class="code" href="classMCR.html">MCR</a>(gh) {};</div>
<div class="line"><a name="l00340"></a><span class="lineno"><a class="code" href="classMCS.html#a6e658867a0aa439d5c35f1186290774b">  340</a></span>&#160;        <a class="code" href="classMCS.html#a6e658867a0aa439d5c35f1186290774b">~MCS</a>() {};</div>
<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;</div>
<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone();</div>
<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;};</div>
<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;</div>
<div class="line"><a name="l00345"></a><span class="lineno"><a class="code" href="classMCSR.html">  345</a></span>&#160;<span class="keyword">class </span><a class="code" href="classMCSR.html">MCSR</a> : <span class="keyword">public</span> <a class="code" href="classMCS.html">MCS</a> {</div>
<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;</div>
<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> bitNumberSort(<span class="keywordtype">int</span> * R, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> * no, <span class="keywordtype">int</span> imin, <span class="keywordtype">int</span> imax);</div>
<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;</div>
<div class="line"><a name="l00350"></a><span class="lineno"><a class="code" href="classMCSR.html#abbea5ba55954ea7b40f50407a5e1903d">  350</a></span>&#160;        <a class="code" href="classMCSR.html#abbea5ba55954ea7b40f50407a5e1903d">MCSR</a>() {};</div>
<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;</div>
<div class="line"><a name="l00353"></a><span class="lineno"><a class="code" href="classMCSR.html#a10457c63fbe03067aa25e917198af609">  353</a></span>&#160;        <a class="code" href="classMCSR.html#a10457c63fbe03067aa25e917198af609">MCSR</a>(Graph* gh) : <a class="code" href="classMCS.html">MCS</a>(gh) {};</div>
<div class="line"><a name="l00354"></a><span class="lineno"><a class="code" href="classMCSR.html#a00de75f761a4d7a0fd2eef6a87820e7e">  354</a></span>&#160;        <a class="code" href="classMCSR.html#a00de75f761a4d7a0fd2eef6a87820e7e">~MCSR</a>(){};</div>
<div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;</div>
<div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone();</div>
<div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;};</div>
<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;</div>
<div class="line"><a name="l00359"></a><span class="lineno"><a class="code" href="classDMCR.html">  359</a></span>&#160;<span class="keyword">class </span><a class="code" href="classDMCR.html">DMCR</a> : <span class="keyword">public</span> <a class="code" href="classMCR.html">MCR</a> {</div>
<div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div>
<div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> NumberSort(<span class="keywordtype">int</span>* R, <span class="keywordtype">int</span>* RR, <span class="keywordtype">int</span>* cover, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> lim);</div>
<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> generate(<span class="keywordtype">void</span> * news);</div>
<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;</div>
<div class="line"><a name="l00365"></a><span class="lineno"><a class="code" href="classDMCR.html#ac36cd948af3ab73eab08d244cea68369">  365</a></span>&#160;        <a class="code" href="classDMCR.html#ac36cd948af3ab73eab08d244cea68369">DMCR</a>(){};</div>
<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;</div>
<div class="line"><a name="l00368"></a><span class="lineno"><a class="code" href="classDMCR.html#aae8ed88d428d03b4c3d1bec952946ec3">  368</a></span>&#160;        <a class="code" href="classDMCR.html#aae8ed88d428d03b4c3d1bec952946ec3">DMCR</a>(Graph* gh) : <a class="code" href="classMCR.html">MCR</a>(gh) {};</div>
<div class="line"><a name="l00369"></a><span class="lineno"><a class="code" href="classDMCR.html#a797ac21ccdb30d24378197ec87c50969">  369</a></span>&#160;        <a class="code" href="classDMCR.html#a797ac21ccdb30d24378197ec87c50969">~DMCR</a>() {};</div>
<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;</div>
<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone();</div>
<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;};</div>
<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;</div>
<div class="line"><a name="l00374"></a><span class="lineno"><a class="code" href="classDMCS.html">  374</a></span>&#160;<span class="keyword">class </span><a class="code" href="classDMCS.html">DMCS</a> : <span class="keyword">public</span> <a class="code" href="classDMCR.html">DMCR</a> {</div>
<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;<span class="keyword">private</span>:</div>
<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;</div>
<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;        <span class="keywordtype">bool</span> tryRecol(<span class="keywordtype">int</span>* R, <span class="keywordtype">int</span>* cover, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> i);</div>
<div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;</div>
<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;</div>
<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> NumberSort(<span class="keywordtype">int</span>* R, <span class="keywordtype">int</span>* RR, <span class="keywordtype">int</span>* cover, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> lim);</div>
<div class="line"><a name="l00382"></a><span class="lineno"><a class="code" href="classDMCS.html#add5433fedb0a46a272a7880700061ead">  382</a></span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> <a class="code" href="classDMCS.html#add5433fedb0a46a272a7880700061ead">generate</a>(<span class="keywordtype">void</span> * news) { <span class="keywordflow">return</span> <a class="code" href="classDMCR.html#adb6151278bcf7232a3dbc6b2be8027a7">DMCR::generate</a>(news); };</div>
<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;</div>
<div class="line"><a name="l00384"></a><span class="lineno"><a class="code" href="classDMCS.html#a28877ca9f1d4f6fd5415082169214a9b">  384</a></span>&#160;        <a class="code" href="classDMCS.html#a28877ca9f1d4f6fd5415082169214a9b">DMCS</a>() {};</div>
<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;</div>
<div class="line"><a name="l00387"></a><span class="lineno"><a class="code" href="classDMCS.html#afc3a045a62e9399662d23e5e3c456694">  387</a></span>&#160;        <a class="code" href="classDMCS.html#afc3a045a62e9399662d23e5e3c456694">DMCS</a>(Graph* gh) : <a class="code" href="classDMCR.html">DMCR</a>(gh) {};</div>
<div class="line"><a name="l00388"></a><span class="lineno"><a class="code" href="classDMCS.html#a349447831612a708ae85160553c22db2">  388</a></span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classDMCS.html#a349447831612a708ae85160553c22db2">~DMCS</a>() {};</div>
<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;</div>
<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;        <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone();</div>
<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;};</div>
<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;</div>
<div class="line"><a name="l00393"></a><span class="lineno"><a class="code" href="classMDR.html">  393</a></span>&#160;<span class="keyword">class </span><a class="code" href="classMDR.html">MDR</a> : <span class="keyword">public</span> <a class="code" href="classMCS.html">MCS</a> {</div>
<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;</div>
<div class="line"><a name="l00396"></a><span class="lineno"><a class="code" href="classMDR.html#a6e02cca6f203300ca5da6cce362373a9">  396</a></span>&#160;        <a class="code" href="classMDR.html#a6e02cca6f203300ca5da6cce362373a9">MDR</a>() {};</div>
<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;</div>
<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> bitNumberSort(<span class="keywordtype">int</span> * R, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> * no, <span class="keywordtype">int</span> imin, <span class="keywordtype">int</span> imax);</div>
<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;</div>
<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span> bitantineigh(<span class="keywordtype">int</span> pivot, <span class="keywordtype">int</span> * curR, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> p);</div>
<div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;</div>
<div class="line"><a name="l00403"></a><span class="lineno"><a class="code" href="classMDR.html#aea3072be6e892b11ccb1f3380d3797a0">  403</a></span>&#160;        <a class="code" href="classMDR.html#aea3072be6e892b11ccb1f3380d3797a0">MDR</a>(Graph* gh) : <a class="code" href="classMCS.html">MCS</a>(gh) {};</div>
<div class="line"><a name="l00404"></a><span class="lineno"><a class="code" href="classMDR.html#a4905ad7af5861864e1adf55db5b2c01a">  404</a></span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classMDR.html#a4905ad7af5861864e1adf55db5b2c01a">~MDR</a>() {};</div>
<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;</div>
<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;        <span class="keywordtype">bool</span> select(<span class="keywordtype">void</span> * s);</div>
<div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;        <span class="keywordtype">int</span> generate(<span class="keywordtype">void</span> * news);</div>
<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;        <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone();</div>
<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;};</div>
<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;</div>
<div class="line"><a name="l00411"></a><span class="lineno"><a class="code" href="classDMDR.html">  411</a></span>&#160;<span class="keyword">class </span><a class="code" href="classDMDR.html">DMDR</a> : <span class="keyword">public</span> <a class="code" href="classDMCS.html">DMCS</a>, <span class="keyword">public</span> <a class="code" href="classMDR.html">MDR</a> {</div>
<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;</div>
<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">void</span> bitantineigh(<span class="keywordtype">int</span> pivot, <span class="keywordtype">int</span> * curR, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> p);</div>
<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;</div>
<div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> NumberSort(<span class="keywordtype">int</span>* R, <span class="keywordtype">int</span>* RR, <span class="keywordtype">int</span>* cover, <span class="keywordtype">int</span> r, <span class="keywordtype">int</span> lim);</div>
<div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;</div>
<div class="line"><a name="l00418"></a><span class="lineno"><a class="code" href="classDMDR.html#ab3ef69f91d4e69533f4e5c78f9100f28">  418</a></span>&#160;        <a class="code" href="classDMDR.html#ab3ef69f91d4e69533f4e5c78f9100f28">DMDR</a>() {};</div>
<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;</div>
<div class="line"><a name="l00421"></a><span class="lineno"><a class="code" href="classDMDR.html#a67c314074e5cf372ad54f1d894e9e0ac">  421</a></span>&#160;        <a class="code" href="classDMDR.html#a67c314074e5cf372ad54f1d894e9e0ac">DMDR</a>(Graph* gh) : <a class="code" href="classDMCS.html">DMCS</a>(gh) {};</div>
<div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;</div>
<div class="line"><a name="l00423"></a><span class="lineno"><a class="code" href="classDMDR.html#a9b71600c2209efb41ca53a18a08a0b81">  423</a></span>&#160;        <a class="code" href="classDMDR.html#a9b71600c2209efb41ca53a18a08a0b81">~DMDR</a>() {};</div>
<div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;</div>
<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;        <span class="keywordtype">bool</span> select(<span class="keywordtype">void</span> * s);</div>
<div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;</div>
<div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;        <a class="code" href="classSubpModeler.html">SubpModeler</a> *clone();</div>
<div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;};</div>
<div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;</div>
<div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> G&gt;</div>
<div class="line"><a name="l00431"></a><span class="lineno"><a class="code" href="classModelerFactory.html">  431</a></span>&#160;<span class="keyword">class </span><a class="code" href="classModelerFactory.html">ModelerFactory</a> {</div>
<div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00433"></a><span class="lineno"><a class="code" href="classModelerFactory.html#a896d4d45d12ae8ff2f86bc2ee07629e1">  433</a></span>&#160;        <a class="code" href="classModelerFactory.html#a896d4d45d12ae8ff2f86bc2ee07629e1">ModelerFactory</a>() {};</div>
<div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;    <span class="comment">// Static class to create objects</span></div>
<div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;    <span class="comment">// Change is required only in this function to create a new object type</span></div>
<div class="line"><a name="l00436"></a><span class="lineno"><a class="code" href="classModelerFactory.html#a2c94f960699e9f40fe75eea22bd5e7da">  436</a></span>&#160;        <span class="keyword">static</span> S * <a class="code" href="classModelerFactory.html#a2c94f960699e9f40fe75eea22bd5e7da">create</a>(G * g) { <span class="keywordflow">return</span> <span class="keyword">new</span> S(g); };</div>
<div class="line"><a name="l00437"></a><span class="lineno"><a class="code" href="classModelerFactory.html#ae17ccb6a06213396c1b41c76e4025221">  437</a></span>&#160;        <span class="keyword">static</span> S * <a class="code" href="classModelerFactory.html#ae17ccb6a06213396c1b41c76e4025221">create</a>(G * g, <span class="keywordtype">int</span> * cr) { <span class="keywordflow">return</span> <span class="keyword">new</span> S(g, cr); };</div>
<div class="line"><a name="l00438"></a><span class="lineno"><a class="code" href="classModelerFactory.html#af78b1595abc9a809b7dd30f49e1e9b58">  438</a></span>&#160;        <span class="keyword">static</span> S * <a class="code" href="classModelerFactory.html#af78b1595abc9a809b7dd30f49e1e9b58">create</a>(G * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix) { <span class="keywordflow">return</span> <span class="keyword">new</span> S(g, col, prefix); };</div>
<div class="line"><a name="l00439"></a><span class="lineno"><a class="code" href="classModelerFactory.html#a346725855cca53ef7a01e425a0989e4c">  439</a></span>&#160;        <span class="keyword">static</span> S * <a class="code" href="classModelerFactory.html#a346725855cca53ef7a01e425a0989e4c">create</a>(G * g, <span class="keywordtype">int</span> col, <span class="keyword">const</span> <span class="keywordtype">char</span> * prefix, <span class="keywordtype">int</span> * cr) { <span class="keywordflow">return</span> <span class="keyword">new</span> S(g, col, prefix, cr); };</div>
<div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;};</div>
<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;</div>
<div class="line"><a name="l00447"></a><span class="lineno"><a class="code" href="classStabSolver.html">  447</a></span>&#160;<span class="keyword">class </span><a class="code" href="classStabSolver.html" title="The base class for solvers of disjoint stable set problems.">StabSolver</a> {</div>
<div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00449"></a><span class="lineno"><a class="code" href="classStabSolver.html#a59e2c16fa6cb3ebe4a6e2a08f2645b65">  449</a></span>&#160;        <a class="code" href="classStabSolver.html#a59e2c16fa6cb3ebe4a6e2a08f2645b65">StabSolver</a>() {};</div>
<div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00451"></a><span class="lineno"><a class="code" href="classStabSolver.html#a1c518e89560829501e0bc229d46fbfb1">  451</a></span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classStabSolver.html#a1c518e89560829501e0bc229d46fbfb1">~StabSolver</a>() {};</div>
<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> solveByEnumeration(<span class="keyword">const</span> <span class="keywordtype">char</span> * outfilename) = 0;</div>
<div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> <a class="code" href="Main_8cpp.html#a547155b6b88ef41ea9316805c7152b47a376efa6acf22da44967294ac3dd6c048">tune</a>(<span class="keyword">const</span> <span class="keywordtype">char</span> * paramfile) = 0;</div>
<div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> <a class="code" href="Main_8cpp.html#a547155b6b88ef41ea9316805c7152b47aac2374cc7dd449c39561b25809ba96ae">writeprob</a>(<span class="keyword">const</span> <span class="keywordtype">char</span> * modelfile) = 0;</div>
<div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> getBest(<span class="keywordtype">double</span> * val) = 0;</div>
<div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;        <span class="keyword">virtual</span> <span class="keywordtype">int</span> getNodes(<span class="keywordtype">int</span> * nnd) = 0;</div>
<div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;</div>
<div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    <span class="comment">// Static class to create objects</span></div>
<div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;    <span class="comment">// Change is required only in this function to create a new object type</span></div>
<div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;    <span class="keyword">template</span> &lt;<span class="keyword">class</span> M, <span class="keyword">class</span> G&gt;</div>
<div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;    <span class="keyword">static</span> <a class="code" href="classStabSolver.html" title="The base class for solvers of disjoint stable set problems.">StabSolver</a> * create(G * g, <a class="code" href="classModelerFactory.html">ModelerFactory&lt;M,G&gt;</a> * fm, <span class="keywordtype">int</span> k, <span class="keywordtype">int</span> nt, <span class="keyword">const</span> <span class="keywordtype">char</span> * inparamfilename);</div>
<div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;};</div>
<div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;</div>
<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* STABSOLVER_H_ */</span><span class="preprocessor"></span></div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Wed Oct 31 2012 19:19:10 for Disjoint Stable Set Problems - Formulations by Representatives and Combinatorial Solvers by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.1.1
</small></address>
</body>
</html>
